Quite touristy but pleasant to eat in the formal restaurant upstairs or the informal snack bar in the basement.
Nice, quiet restaurant for lunch. The grilled tuna salad sandwiches are delicious!